Secrecy

This property is used to check the secret of agents information. It starts with the keyword #Data_secrecy followed by the list of information we want to check.

Authentication

This property is used to check the agents authentication. It starts with the keyword #Authentication followed by the list of authenticated information we want to check.

Non repudiation

This property is used to check the non_repudiation property of an agent. It starts with the keyword #Non_repudiation followed by the list of condition for this non repudiation constraint.

Anonymity

This property is used to check the anonymity property of an agent. It starts with the keyword #Anonymity followed by the list of condition for this anonymity constraint.

Fairness

This property is used to check the fairness property of an agent. It starts with the keyword #Fairness followed by the list of condition for this fairness constraint.

Integrity

This property is used to check the integrity of agents information. It starts with the keyword #Integrity followed by the list of information we want to check.

Temporal specification

This property is used to check the temporal requirement of the user. That requirement can be if formula then formula. The formuala can be one event happens before/after other event, or one event will always/ eventually happens and so on. The user refers to Section 3.10.1.3 for more details.